Labels:book | bulletin board | envelope | paper | reckoner | sky OCR: HEOREM HE LANG WAGE A andl DJO DFA <9'v>> DFAS gwo L(A) DECIDABLE PROOF oyt SYMMETRIC DIFFERENCE between and ANYTUING IN BUT NOT BOTM. ANB)U(ANB) NOTE 3HK YMMETRIC DIFPERENCE WILL TSE THEOREM LANGUAGE guro ANYTHING THEN